Module = MODULE ident ";" 
           () DeclSeq 
           (StatementSeq ) 
           (StatementSeq ) 
         END ident ".".
ImportList = IMPORT (":=" ) ident  ";".
DeclSeq =  
          | VAR } 
          .
ConstDecl = IdentDef "=" ConstExpr.
TypeDecl = IdentDef "=" Type.
VarDecl = IdentList ":" Type.
ProcDecl = PROCEDURE () IdentDef () MethAttributes 
           .
MethAttributes = (NEW ) ((ABSTRACT | EMPTY | EXTENSIBLE) ).
ForwardDecl = PROCEDURE "^" () IdentDef () MethAttributes.
FormalPars = "(" ( ) ")" (Type ).
FPSection = (| IN | OUT ) ident  ":" Type.
Receiver = "(" (| IN ) ident ":" ident ")".
Type = Qualident
    | ARRAY ( ) OF Type
    | (| EXTENSIBLE | LIMITED ) RECORD () FieldList  END
    | POINTER TO Type
    | PROCEDURE ().
FieldList = (":" Type ).
StatementSeq = Statement .
Statement = 
    | IF Expr THEN StatementSeq
        
        (StatementSeq ) 
      END
    | CASE Expr OF 
        Case 
        (StatementSeq ) 
      END
    | WHILE Expr DO StatementSeq END
    | REPEAT StatementSeq UNTIL Expr
    | FOR ident ":=" Expr TO Expr (ConstExpr ) DO StatementSeq END
    | LOOP StatementSeq END
    | WITH (Guard DO StatementSeq ) 
        
       (StatementSeq ) 
      END
    | EXIT
    | RETURN ()
    ].
Case = ( ":" StatementSeq ).
CaseLabels = ConstExpr (ConstExpr ).
Guard = Qualident ":" Qualident.
ConstExpr = Expr.
Expr = SimpleExpr (SimpleExpr ).
SimpleExpr = (| "-" ) Term .
Term = Factor .
Factor = Designator | number | character | string | NIL | Set | "(" Expr ")" | " ~ " Factor.
Set = "".
Element = Expr (Expr ).
Relation = "=" | "#" | "<" | "<=" | ">" | ">=" | IN | IS.
AddOp = "+" | "-" | OR.
MulOp = "
*" | "/" | DIV | MOD | "&".
Designator = Qualident  ("$" ).
ExprList = Expr .
IdentList = IdentDef .
Qualident = ("." ) ident.
IdentDef = ident (*"" TITLE=""
*"">| "-" ).